Carrying out Phylogenetic Analyses through Computational Model Checking

classify specified organisms taxonomically, determine the origins of proteinencoding genes, and infer how proteins function based on their conserved sequence motifs. Typically, phylogenic analysis involves two steps: constructing a phylogenetic tree or network based on the given biosequences and deriving biological information from the tree or network. Many computational methods have been developed to construct phylogenetic trees, but in most published studies the biological information from the phylogenetic trees is derived manually. In “Temporal Logics for Phylogenetic Analysis via Model Checking”